Published in: Dagstuhl Reports, Volume 13, Issue 9 (2024)
Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, and Rémi Morvan. The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). In Dagstuhl Reports, Volume 13, Issue 9, pp. 166-184, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{fijalkow_et_al:DagRep.13.9.166, author = {Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi}, title = {{The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)}}, pages = {166--184}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {9}, editor = {Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166}, URN = {urn:nbn:de:0030-drops-198259}, doi = {10.4230/DagRep.13.9.166}, annote = {Keywords: program synthesis, program verification, reactive synthesis, temporal synthesis} }
Feedback for Dagstuhl Publishing